Equivalence Relation Problems